Weaker bisimulation: How to make a.0+b.0 and τ.a.0+b.0 equivalent?
نویسندگان
چکیده
منابع مشابه
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence
In this paper we address the issue of providing a structured coalgebra presentation of transition systems with algebraic structure on states determined by an equational specification Γ. More precisely, we aim at representing such systems as coalgebras for an endofunctor on the category of Γ-algebras. The systems we consider are specified by using a quite general format of SOS rules, the algebra...
متن کاملHow to Relax a Bisimulation?
Merge-and-shrink abstraction (M&S) is an approach for constructing admissible heuristic functions for cost-optimal planning. It enables the targeted design of abstractions, by allowing to choose individual pairs of (abstract) states to aggregate into one. A key question is how to actually make these choices, so as to obtain an informed heuristic at reasonable computational cost. Recent work has...
متن کاملHow to Diagnose Arterial and Venous Ulcers and Make Good Medical Decisions
چگونگی مراقبت از یک زخم مزمن اغلب به علت آن بستگی دارد. برای مثال زخم های پا ممکن است در اثر بیماریهای شریانی و یا وریدی بوجود آیند. هر چند زخم های مزمن پا به دلایل متعددی بروز می کنند ولی اختلال در گردش خون شایعترین علت می باشد. اخذ تصمیمات مهم درمانی از قبیل درمان با استفاده از فشار و یا درمان تهاجمی جهت رفع عفونت همگی بستگی به این دارد که منشاء زخم شریانی است با وریدی .
متن کاملHow to make an eye.
The eye is an organ of such remarkable complexity and apparently flawless design that it presents a challenge to both evolutionary biologists trying to explain its phylogenetic origins, and developmental biologists hoping to understand its formation during ontogeny. Since the discovery that the transcription factor Pax6 plays a crucial role in specifying the eye throughout the animal kingdom, b...
متن کاملHow to Make Chord Correct
The Chord distributed hash table (DHT) is well-known and frequently used to implement peer-to-peer systems. Chord peers find other peers, and access their data, through a ring-shaped pointer structure in a large identifier space. Despite claims of proven correctness, i.e., eventual reachability, formal modeling has shown that the Chord ring-maintenance protocol is not correct under its original...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Energy Procedia
سال: 2011
ISSN: 1876-6102
DOI: 10.1016/j.egypro.2011.12.276